<?hh

    class p {
      public $data1;
    }
    class c extends p {
    }
